Implementation of Distributed Real-time Speciications in Ada95

The implementation phase of the software development process requires techniques for the transformation of a design speciication into software. Although timing analysis of real-time software has got much attention the implementation of design speciicati-ons is hardly addressed. In this paper we report on our work on deening mappings for design speciications of real-time distributed control systems onto implementation models. The speciication notation we use is ASTRAL 1], a formal real-time speciication language. Our target language is Ada95 2]. In this paper the mapping of ASTRAL speciications on the Ada tasking model is discussed. Main emphasis is put upon the use of timing analysis to verify the correctness of the implementation with respect to the speciication.